Weight-deterministic max-plus automata
نویسندگان
چکیده
In this contribution, we reconsider the notion of determinism for max-plus automata by including quantitative aspect in its definition. A determinization procedure adapted to so-called weight-determinism is proposed. The motivation generalize results based on automata.
منابع مشابه
Size-Change Abstraction and Max-Plus Automata
Max-plus automata (over N ∪ {−∞}) are nite devices that map input words to non-negative integers or −∞. In this paper we present (a) an algorithm allowing to compute the asymptotic behaviour of max-plus automata, and (b) an application of this technique to the evaluation of the computational time complexity of programs.
متن کاملModeling of Timed Petri Nets Using Deterministic (max, +) Automata
Automata with weights (multiplicities) in (max,+) algebra form a class of timed automata. Determinism is a crucial property for numerous results on (max,+) automata and, in particular, for applications to performance evaluation and control of a large class of timed discrete event systems. In this paper, we show how to build a deterministic (max,+) automaton equivalent to a live and safe timed P...
متن کاملThe Shortest Identities for Max-Plus Automata with Two States
Max-plus automata are quantitative extensions of automata designed to associate an integer with every non empty word. A pair of distinct words is said to be an identity for a class of max-plus automata if each of the automata in the class computes the same value on the two words. We give the shortest identities holding for the class of max-plus automata with two states. For this, we exhibit an ...
متن کاملA Max-Plus Model of Asynchronous Cellular Automata
This paper presents a new framework for asynchrony. This has its origins in our attempts to better harness the internal decision-making process of cellular automata (CA). Thus, we show that a max-plus algebraic model of asynchrony arises naturally from the CA requirement that a cell receive the state of each neighbor before updating. The significant result is the existence of a bijective mappin...
متن کاملReachability analysis for timed automata using max-plus algebra
We show that max-plus polyhedra are usable as a data structure in reachability analysis of timed automata. Drawing inspiration from the extensive work that has been done on difference bound matrices, as well as previous work on max-plus polyhedra in other areas, we develop the algorithms needed to perform forward and backward reachability analysis using maxplus polyhedra. To show that the appro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2022
ISSN: ['2405-8963', '2405-8971']
DOI: https://doi.org/10.1016/j.ifacol.2022.10.356